/*
 * @ : Copyright (c) 2020 Phytium Information Technology, Inc. 
 *  
 * SPDX-License-Identifier: Apache-2.0.
 * 
 * @Date: 2021-06-29 18:29:41
 * @LastEditTime: 2021-09-03 23:56:01
 * @Description:  This files is for 
 * 
 * @Modify History: 
 *  Ver   Who        Date         Changes
 * ----- ------     --------    --------------------------------------
 */
#ifndef BSP_ARCH_AARMV8_AARCH64_PSCI_H
#define BSP_ARCH_AARMV8_AARCH64_PSCI_H

#ifdef __cplusplus
extern "C"
{
#endif

#include "ft_types.h"

    void PsciCpuReset(void);
    void PsciCpuOn(s32 cpu_id_mask, uintptr entry);

#ifdef __cplusplus
}
#endif
#endif // !BSP_ARCH_AARMV8_AARCH64_PSCI_H